-
1 интенсиональная модель
intensional model вчт.Русско-английский словарь по электронике > интенсиональная модель
-
2 интенсиональная модель
intensional model вчт.Русско-английский словарь по радиоэлектронике > интенсиональная модель
См. также в других словарях:
Entity-relationship model — A sample Entity relationship diagram using Chen s notation In software engineering, an entity relationship model (ERM) is an abstract and conceptual representation of data. Entity relationship modeling is a database modeling method, used to… … Wikipedia
NIM — • im Bereich NM: Network Interface Machine • im Bereich KI: Nested Intensional Model • unter AIX: Network Installation Manager • Nuclear Instrumentation Module (electronic instrument standard) Reaktortechnik • Niamey, Niger internationale… … Acronyms
NIM — [1] im Bereich NM: Network Interface Machine [2] im Bereich KI: Nested Intensional Model [3] unter AIX: Network Installation Manager [4] Nuclear Instrumentation Module (electronic instrument standard) {Reaktortechnik} [5] Niamey, Niger… … Acronyms von A bis Z
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
Ontology components — Contemporary ontologies share many structural similarities, regardless of the language in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations. Contents 1 Overview 2 Individuals … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… … Wikipedia